Filtered Modules over Discrete Valuation Domains
نویسندگان
چکیده
We consider a uni ed setting for studying local valuated groups and coset-valuated groups, emphasizing the associated ltrations rather than the values of elements. Stable exact sequences, projectives and injectives are identi ed in the encompassing category, and in the category corresponding to coset-valuated groups.
منابع مشابه
A Term of Commutative Algebra
Preface . . . . . . . . . . . . . . . . . . . . . . . iii 1. Rings and Ideals . . . . . . . . . . . . . . . . . . . 1 2. Prime Ideals . . . . . . . . . . . . . . . . . . . . 6 3. Radicals . . . . . . . . . . . . . . . . . . . . . . 10 4. Modules . . . . . . . . . . . . . . . . . . . . . . 14 5. Exact Sequences . . . . . . . . . . . . . . . . . . . 20 6. Direct Limits . . . . . . . . . . . . . ....
متن کاملSigma-cotorsion Modules over Valuation Domains
We give a characterization of Σ-cotorsion modules over valuation domains in terms of descending chain conditions on certain chains of definable subgroups. We prove that pure submodules, direct products and modules elementarily equivalent to a Σ-cotorsion module are again Σ-cotorsion. Moreover, we describe the structure of Σ-cotorsion modules.
متن کاملQuasi-Primary Decomposition in Modules Over Proufer Domains
In this paper we investigate decompositions of submodules in modules over a Proufer domain into intersections of quasi-primary and classical quasi-primary submodules. In particular, existence and uniqueness of quasi-primary decompositions in modules over a Proufer domain of finite character are proved. Proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decompo...
متن کاملWhitehead Modules over Large Principal Ideal Domains
We consider the Whitehead problem for principal ideal domains of large size. It is proved, in ZFC, that some p.i.d.’s of size ≥ א2 have nonfree Whitehead modules even though they are not complete discrete valuation rings. A module M is a Whitehead module if ExtR(M,R) = 0. The second author proved that the problem of whether every Whitehead Z-module is free is independent of ZFC + GCH (cf. [5], ...
متن کاملDecidability for Theories of Modules over Valuation Domains
Extending work of Puninski, Puninskaya and Toffalori in [PPT07], we show that if V is an effectively given valuation domain then the theory of all V -modules is decidable if and only if there exists an algorithm which, given a, b ∈ V , answers whether a ∈ rad(bV ). This was conjectured in [PPT07] for valuation domains with dense value group where it was proved for valuation domains with dense a...
متن کامل